| Model Version | 1.164 |
| Author | bpotter |
| Last Saved | Tue Jan 28 07:22:37 2014 |
| Inline Parameters | on |
| Block Reduction | off |
| Conditional Branch Optimization | on |
| Analyzed model | roll_ap |
| Logic block short circuiting | off |
| Started Execution: | 03-Feb-2014 07:51:52 |
| Ended Execution: | 03-Feb-2014 07:51:53 |
| Started Execution: | 03-Feb-2014 07:47:23 |
| Ended Execution: | 03-Feb-2014 07:51:53 |
| Started Execution: | 03-Feb-2014 07:47:23 |
| Ended Execution: | 03-Feb-2014 07:51:53 |
| Model Hierarchy/Complexity: | Current Run |   | Delta |   | Cumulative |   | ||||||||||||||||||||||||||||||||||||||||||||||||||||
| D1 | C1 | MCDC |   | D1 | C1 | MCDC |   | D1 | C1 | MCDC |   | |||||||||||||||||||||||||||||||||||||||||||||||
| 1. roll_ap | 8 | 92% | | 83% | | 50% | |   | 0% | | 0% | | 0% | |   | 92% | | 100% | | 100% | |   | ||||||||||||||||||||||||||||||||||||
| 2. . . . Roll Reference | 5 | 100% | | 83% | | 50% | |   | 0% | | 0% | | 0% | |   | 100% | | 100% | | 100% | |   | ||||||||||||||||||||||||||||||||||||
| 3. . . . . . . Latch Phi | 1 | 100% | | NA | NA |   | 0% | | NA | NA |   | 100% | | NA | NA |   | ||||||||||||||||||||||||||||||||||||||||||
|
Decisions analyzed:
|
Decisions analyzed:
|
|
Decisions analyzed:
|
Conditions analyzed:
|
Conditions analyzed:
MC/DC analysis (combinations in parentheses did not occur)
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Decisions analyzed:
|
Decisions analyzed:
|
|
Decisions analyzed:
|
| Hierarchy | Test 1 | Test 2 | Overall | |||
| Min | Max | Min | Max | Min | Max | |
| roll_ap | ||||||
| . . . Eng switch | -15 | 0.0144459 | - | - | -15 | 15 |
| . . . Mode switch | -35 | 0 | -35 | -32 | -35 | 35 |
| . . . Basic Roll Mode | -15 | 0.0144459 | - | - | -15 | 15 |
| . . . Heading Mode | 0 | 88.6472 | - | - | -190.68 | 202.28 |
| . . . zero | 0 | 0 | - | - | 0 | 0 |
| . . . Roll Reference | ||||||
| . . . . . . Abs | 0 | 35 | - | - | 0 | 35 |
| . . . . . . Not engaged | 0 | 1 | - | - | 0 | 1 |
| . . . . . . or | 0 | 1 | - | - | 0 | 1 |
| . . . . . . TK switch | -35 | 0 | -35 | -32 | -35 | 35 |
| . . . . . . ref switch | -29.46 | 0 | - | - | -32 | 32.0003 |
| . . . . . . Ref Threshold | 0 | 0 | - | - | 0 | 1 |
| . . . . . . Ref Threshold1 | 0 | 1 | - | - | 0 | 1 |
| . . . . . . TK Threshold | 0 | 1 | - | - | 0 | 1 |
| . . . . . . minus six | -6 | -6 | - | - | -6 | -6 |
| . . . . . . six | 6 | 6 | - | - | 6 | 6 |
| . . . . . . three | 3 | 3 | - | - | 3 | 3 |
| . . . . . . zero | 0 | 0 | - | - | 0 | 0 |
| . . . . . . Latch Phi | ||||||
| . . . . . . . . . Enable | 0 | 0 | - | - | -32 | 32.0003 |
| . . . . . . . . . FixPt Unit Delay1 | 0 | 0 | - | - | -32 | 32.0003 |